2 402 202 книги
без регистрации
бесплатно
Мобильная версия
Книги
Категории и жанры
Лучшие книги
Добавить книгу
Библиотека
Помощь
Мобильная версия
Плагин
Контакты
Как помочь?
Спонсорам и инвесторам
API
Booksee
.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday (Lecture Notes in ... Computer Science and General Issues)
Aart Middeldorp
,
Vincent van Oostrom
,
Femke van Raamsdonk
,
Roel de Vrijer
Категория:
Компьютеры
7.63 Mb
#2
Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics)
R.P. Nederpelt
,
J.H. Geuvers
,
R.C. de Vrijer
8.11 Mb
#3
Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics)
R.P. Nederpelt
,
J.H. Geuvers
,
R.C. de Vrijer (editors)
49.76 Mb
#4
Selected papers on automath
Nederpelt R.P.
,
Geuvers J.H.
,
de Vrijer R.C. (eds.)
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
5.76 Mb
#5
Processes, Terms and Cycles.. Steps on the Road to Infinity
Aart Middeldorp
,
Vincent van Oostrom
,
Femke van Raamsdonk
,
Roel de Vrijer
Категория:
CsLn_
5.62 Mb
#6
Selected papers on automath
R.P. Nederpelt
,
J.H. Geuvers
,
R.C. de Vrijer
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
5.76 Mb
#7
Selected Papers on Automath
R.P. Nederpelt
,
J.H. Geuvers
,
R.C. de Vrijer
49.74 Mb